DEF=map-tests
EXT=mtest
TESTDIR=.
KOMPILE_BACKEND=haskell
export KORE_EXEC_OPTS=--log-level error

include ../include/ktest.mak

CONSIDER_PROVER_ERRORS=2>&1
